Nuprl Definition : prop
9,38
postcript
pdf
== Type
latex
clarification:
{i} == Type{i}
latex
Definitions
Type
FDL editor aliases
prop
origin
== Type
{i} == Type{i} == Type
{i} == Type{i}